Nuprl Definition : w-sends
0,22
postcript
pdf
sends(
l
;
e
) == onlnk(
l
;m(loc(
e
);time(
e
)))
latex
clarification:
w-sends(
w
;
l
;
e
) == onlnk(
l
;w-m(
w
; w-loc(
w
;
e
); w-time(
w
;
e
)))
latex
Definitions
time(
e
)
,
loc(
e
)
,
m(
i
;
t
)
FDL editor aliases
w-sends
origin